Prof. Dr. Jie-Hong (Roland) Jiang

Aktuelle Kontaktadresse

Land	Taiwan
Ort	Taipei
Universität/Institution	National Taiwan University
Institut/Abteilung	Department of Electrical Engineering

Fachgebiet	Elektronische Halbleiter, Bauelemente und Schaltungen, Integrierte Systeme, Sensorik, Theoretische Elektrotechnik,Softwaretechnik und Programmiersprachen
Keywords	quantified Boolean formula (QBF), verification, satisfiability (SAT), synthesis, dependency quantified Boolean formula (DQBF)